Merge branch 'double-dead-keys' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 27 Mar 2021 01:22:41 +0000 (01:22 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 27 Mar 2021 01:22:41 +0000 (01:22 +0000)
Double dead keys

See merge request GNOME/gtk!3355


Trivial merge